travis/install_z3.sh